Nuprl Definition : pe-state
0,22
postcript
pdf
pe-state(
p
) == (state when pe-e(
p
))
latex
clarification:
pe-state(
p
) == es-state-when(pe-es(
p
);pe-e(
p
))
latex
Definitions
(state when
e
)
,
pe-es(
e
)
,
pe-e(
p
)
FDL editor aliases
pe-state
origin